Buy Used and New Gilles Dowek Books

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings: 1690 (Lecture Notes in Computer Science)

by Laurent Thery,Yves Bertot,Andre Hirschowitz,Christine Paulin,Gilles Dowek

ISBN 13: 9783540664635

Format: Paperback (372 pages)
Publisher: Springer
Published: 01 Sep 1999

Save for later

Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers: 1074 (Lecture Notes in Computer Science)

by Jan Heering,Bernhard M??ller,Gilles Dowek,Karl Meinke

ISBN 13: 9783540612544

Format: Paperback (304 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Rewriting and Typed Lambda Calculi: Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, ... 8560 (Lecture Notes in Computer Science)

by Gilles Dowek

ISBN 13: 9783319089171

Format: Paperback (516 pages)
Publisher: Springer
Published: 15 Jul 2014

Save for later

Computation, Proof, Machine: Mathematics Enters a New Age

by Gilles Dowek,Pierre Guillot,Marion Roman

ISBN 13: 9780521118019

Format: Hardcover (158 pages)
Publisher: Cambridge University Press
Published: 05 May 2015

Save for later

The Age of Algorithms

by Serge Abiteboul,Gilles Dowek

ISBN 13: 9781108745420

Format: Paperback (166 pages)
Publisher: Cambridge University Press
Published: 31 Dec 2019

Save for later